toolbar: Handle the fact that size_allocate() != get_allocation()
authorBenjamin Otte <otte@redhat.com>
Wed, 15 Jun 2011 17:59:45 +0000 (19:59 +0200)
committerBenjamin Otte <otte@redhat.com>
Wed, 15 Jun 2011 18:14:18 +0000 (20:14 +0200)
commitba869e0fe04c44e549954a167813986cf00bbc39
tree64f14e9af45ed2b10293a513b72cb4b7a3e7823c
parent4edb3f08e46c7f172f7df558c502ba4dd63e3ff8
toolbar: Handle the fact that size_allocate() != get_allocation()

size_allocate() allocates the available space for the margin box,
get_allocation() returns the actual space of the content box and those
can be different. And then animations never stop.
If that makes you go "huh?", you might want to read
http://www.w3.org/TR/CSS21/box.html
and the docs for gtk_widget_compute_align().
gtk/gtktoolbar.c